Data layouts for object-oriented programs

Shaping Object-oriented Programs

Object-oriented programming is valued for the clarity and maintainability of its programs. However, this success is mainly connned to small-scale phenomena, such as re-implementation of a single class: large-scale structures are as obscure and fragile as ever. We ooer shape theory as a means of reasoning about program structure, and improving object-oriented design. In particular, shape analysi...

Slicing Object-Oriented Programs

Program slicing has various applications in the fields of software engineering. The Object-Oriented (00) paradigm introduces the features of abstraction, encapsulation, inheritance, and polymorphism to programs, but is not considered current program slicing techniques. In this paper, we define two types of program slices, state and behavior slices, by taking the dependencies of 00 features into...

Maintenance Support for Untyped Object-Oriented Programs

The software development paradigm of object-oriented (OO) programming has become increasingly popular in recent years. Features not available in conventional programming languages such as inheritance, dynamic binding and polymorphism offer advantages, they also raise problems of maintaining object-oriented programs. Some object-oriented languages do not allow type annotations to be specified in...

Tools for Testing Object - Oriented Programs 1

Interactive Verification Environments for Object-Oriented Programs

Formal speciication and veriication techniques can improve the quality o f object-oriented software by enabling semantic checks and certiication of properties. To be applicable to object-oriented programs, they have to cope with subtyping, aliasing via object references, as well as abstract and recursive methods. For mastering the resulting complexity, mechanical aid is needed. The article outl...